Mathematical Logic: What Has It Done for the Philosophy of Mathematics?
نویسنده
چکیده
The aim of this paper is not to provide any systematic reconstruction of Kreisel’s views but only to discuss some claims concerning the relationship between mathematical logic and the philosophy of mathematics that repeatedly occur in his writings. Although I do not know to what extent they are representative of his present position, they correspond to widespread views of the logical community and so seem worth discussing anyhow. Such claims will be used as reference to make some remarks about the present state of relations between mathematical logic and the philosophy of mathematics. Kreisel’s views greatly influenced me in the Sixties andthe Seventies. His critical remarks on the foundational programs taught me that one could and should have an approach to the subject of mathematical logic less dogmatic, corporative and even thoughtless than the one the logical community sometimes used to have. This is even more true today when the professionalization of mathematical logic generates a flood of results but few new ideas and the lack of ideas leads to the sheer byzantinism of most current production in mathematical logic. In the past few years, however, I have come to the conclusion that Kreisel’s criticism has not been radical enough: his main worry seems to have been to preserve as much as possible to save the savable of the tradition of mathematical logic. His critical remarks have focused on the defects of the foundational schools, thus drawing attention away from the intrinsic defects of mathematical logic itself instead of stressing the need of putting the subject on new grounds replacing it by a more adequate approach. This seems absolutely necessary, not only to rectify misconceptions about the nature of mathematics, such as those spelled out in [Cr], for which mathematical logic has great responsibility, but also to meet the challenges that logic has to face as a result of the development of entirely new subjects such as computer science and artificial intelligence. To such challenges mathematical logic has been so far hopelessly unequal, contrary to McCarthy’s [Mc, p. 69] hope that the relationship between these new subjects and mathematical logic could be as fruitful as the one between analysis and physics. In this paper I will try to explain the reasons of my disagreement with Kreisel, as much as it can be done in the limited space allowed to me.
منابع مشابه
Managing Informal Mathematical Knowledge: Techniques from Informal Logic
Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called inf...
متن کاملContemplation on the Position of Painting in Avicennian Philosophy
This paper examines the question that from what aspects Avicenna has discussed color and painting in his philosophy. In this research, Avicenna’s dispersed remarks on this subject have been reviewed, categorized, and analyzed. The result of this research shows that Avicenna’s greatest attention to this discussion, is found in his “Poetics” which is a part of the science of logic, and “Natural S...
متن کاملAn Introduction to the Use of Fuzzy Mathematics in Archeology (Case Study: Virtual Reconstruction of Togrul Tower by Using Fuzzy Reliability)
Nowadays, the use of fuzzy mathematics and fuzzy logic are increasing in various sciences. Archaeology is one of the sciences that is less attended with the methods of fuzzy mathematics and fuzzy logic. Due to the nature of many archaeological data, however, the use of such methods in archaeology can be beneficial. In this research, it has been tried to explain applications of fuzzy logic and f...
متن کاملIntroduction Penelope Rush
This book is a collection of new essays around the broad central theme of the nature of logic, or the question: ‘what is logic?’ It is a book about logic and philosophy equally. What makes it unusual as a book about logic is that its central focus is on metaphysical rather than epistemological or methodological concerns. By comparison, the question of the metaphysical status of mathematics and ...
متن کاملNon-Deductive Logic in Mathematics: The Probability of Conjectures
Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, as Fermat’s Last Theorem did and the Riemann Hypothesis still does, have had to be considered in terms of the evidence for and against them. It is not...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005